#include<stdio.h>
void main()
{
     char ch1,ch2;

	 ch1 = getchar();

	 ch2 = getchar();

	 putchar(ch1+32);

	 putchar(ch2+32);

	 printf('\n');
}